1. VDM '87 :
پدیدآورنده : edited by D. Bjørner ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development-- Congresses.,Computer software industry-- European Economic Community countries-- Congresses.
رده :
QA76
.
76
.
D47
V85
1987
2. VDM' 87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, proceedings
پدیدآورنده : edited by D. Bjorner...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
رده :
QA
76
.
L28
Vol
.
252
3. VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
پدیدآورنده : VDM '78, )7891, Brussels, Belgium(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer software - Development,Congresses ، Computer software industry - European Economic Community countries
رده :
QA
76
.
L4
v
.
252
4. VDM'88 : VDM, the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 1988 : Proceedings
پدیدآورنده : R. Bloomfield, L. Marshall, R. Jones )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
رده :
QA
76
.
L28
Vol
.
328
5. VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings
پدیدآورنده : VDM '88 )8891: Dublin, Ireland(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Development-- Congresses,، Computer software industry-- European Economic Community countries-- Congresses
رده :
QA
76
.
76
.
D47
.
V854
1988
